Kuali Financial System Process Documentation – Organization Maintenance in KFS UNIVERSITY OF HAWAII Organization

Source URL: www.fmo.hawaii.edu

• Computing
• HTML
• Associative arrays
• Computer programming
• Software engineering
• Arrays
• Computer performance
• Lookup table
• HTML element
• Tab key
• Associative containers
• Form

The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning Vikas Shivashankar1 Ron Alford1 Ugur Kuter2 Dana Nau1

Source URL: www.cs.umd.edu

• Philosophy
• American philosophers
• Automated planning and scheduling
• Hierarchical task network
• Partial-order planning
• Kurt Gdel
• Logic programming
• Godel

GreenPAK Designer Development Environment Free Development Software Silego Technology’s GreenPAK Designer development software enables a completely graphical design process, requiring no programming language or compil

Source URL: www.silego.com

• Software
• Computing
• System software
• Computer hardware
• Emulator
• Multi Emulator Super System
• Design

Dartmouth College Computer Science Technical Report TR2001-404 Efficient Compression of Generic Function Dispatch Tables Eric Kidd Dartmouth College

Source URL: www.randomhacks.net

• Method
• Software
• Computer programming
• Generic function
• Common Lisp Object System
• Multiple dispatch
• Pole
• Dispatch table
• R
• Dylan

Algebraic Structures of Programs: First Steps to Algebraic Programming Nikolai N. Nepeivoda Program System Institute of RAS Pereslavl–Zalessky, Russia

Source URL: meta2014.pereslavl.ru

The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier Adam Chlipala MIT CSAIL

Source URL: adam.chlipala.net

• Software engineering
• Theoretical computer science
• Computer programming
• Formal methods
• Logic in computer science
• Macro
• Hoare logic
• Assertion
• Separation logic
• C preprocessor
• Postcondition
• Assembly language

Dynamically Composing Languages in a Modular Way: Supporting C Extensions for Dynamic Languages Matthias Grimmer Chris Seaton

Source URL: chrisseaton.com

• Object-oriented programming languages
• Scripting languages
• Ruby
• Object-oriented programming
• Objective-C
• Scala
• Dynamic dispatch
• Lua
• Class
• Type system
• Futures and promises
• Smalltalk

Inference and Checking of Object Ownership Wei Huang1 , Werner Dietl2 , Ana Milanova1 , and Michael D. Ernst2 1 Rensselaer Polytechnic Institute

Source URL: homes.cs.washington.edu

• Software engineering
• Type theory
• Programming language theory
• Computing
• Subtyping
• Type system
• System F
• HindleyMilner type system
• ML
• Type inference
• Typeof
• Is-a

Practical Type Inference Based on Success Typings Tobias Lindahl 1 Konstantinos Sagonas 1,2 1

Source URL: www.it.uu.se

• Software engineering
• Computing
• Computer programming
• Type theory
• Concurrent programming languages
• Type systems
• Functional languages
• Data types
• Erlang
• Type inference
• Scala
• HindleyMilner type system

Russian Academy of Sciences Program Systems Institute Research Center for Multiprocessor Systems Programming Automation Laboratory The Refal Plus Programming System

Source URL: skif.pereslavl.ru